POLICE distributed conflict detection architectureDURSUN, Taner; ÖRENCIK, Bülent.IEEE International Conference on Communications. 2004, isbn 0-7803-8533-0, vol4, 2081-2085Conference Paper

The Lübeck Transformation System: A transformation system for equational higher order algebraic specificationsDOSCH, Walter; MAGNUSSEN, Sönke.Lecture notes in computer science. 2002, pp 85-108, issn 0302-9743, isbn 3-540-43159-4Conference Paper

Reasoning inductively about Z specifications via unificationDUFFY, D. A; TOYN, I.Lecture notes in computer science. 2000, pp 75-94, issn 0302-9743, isbn 3-540-67944-8Conference Paper

Algebraic models of microprocessors. Architecture and organisationHARMAN, N. A; TUCKER, J. V.Acta informatica. 1996, Vol 33, Num 5, pp 421-456, issn 0001-5903Article

On the existence of free models in abstract algebraic institutionsTARLECKI, A; DE BAKKER, J. W.Theoretical computer science. 1985, Vol 37, Num 3, pp 269-304, issn 0304-3975Article

A metamodel for package extension with renamingCLARK, Tony; EVANS, Andy; KENT, Stuart et al.Lecture notes in computer science. 2002, pp 305-320, issn 0302-9743, isbn 3-540-44254-5, 16 p.Conference Paper

Description of a tool for specifying and prototyping concurrent programsDE FRANCESCO, N; VAGLINI, G.IEEE transactions on software engineering. 1988, Vol 14, Num 11, pp 1554-1564, issn 0098-5589Article

A requirements modeling language and its logicGREENSPAN, S. J; BORGIDA, A; MYLOPOULOS, J et al.Information systems (Oxford). 1986, Vol 11, Num 1, pp 9-23, issn 0306-4379Article

GRAFCET: Structuration des descriptions. ApplicationsDUMERY, Jean-Jacques.Techniques de l'ingénieur. Informatique industrielle. 2007, Vol S2, Num S7241, issn 1632-3831, S7241.1-S7241.16Article

Extreme programming and modelling? PanelSTEVENS, Perdita; BOGER, Marko; MELLOR, Stephen et al.Lecture notes in computer science. 2000, pp 353-358, issn 0302-9743, isbn 3-540-41133-XConference Paper

Hiding more of hidden algebraGOGUEN, J; ROSU, G.Lecture notes in computer science. 1999, pp 1704-1719, issn 0302-9743, isbn 3-540-66587-0, 2VolConference Paper

'The Standard logic for Z': A clarificationKING, S.Formal aspects of computing. 1999, Vol 11, Num 4, pp 472-473, issn 0934-5043Article

FIDL: Spécifications formelles en IDL3 = FIDL: Formal specifications in IDL3BAILLY, Arnaud; RYL, Isabelle; CLERBOUT, Mireille et al.L' Objet (Paris). 2003, Vol 9, Num 1-2, pp 213-225, issn 1262-1137, 13 p.Conference Paper

Comments on formal specification of user interfaces: a comparison and evaluation of four axiomatic approachesALEXANDER, H.IEEE transactions on software engineering. 1988, Vol 14, Num 4, pp 438-439, issn 0098-5589Article

Real-time software life cycle with the model systemTSENG, J. S; SZYMANSKI, B; YUAN SHI et al.IEEE transactions on software engineering. 1986, Vol 12, pp 358-373, issn 0098-5589Article

GRAFCET: Concepts de baseDUMERY, Jean-Jacques.Techniques de l'ingénieur. Informatique industrielle. 2007, Vol S2, Num S7240, issn 1632-3831, S7240.1-S7240.16Article

The development graph manager MAYAAUTEXIER, Serge; HUTTER, Dieter; MOSSAKOWSKI, Till et al.Lecture notes in computer science. 2002, pp 495-501, issn 0302-9743, isbn 3-540-44144-1, 7 p.Conference Paper

Program development and specification refinement in the schema calculusHENSON, M. C; REEVES, S.Lecture notes in computer science. 2000, pp 344-362, issn 0302-9743, isbn 3-540-67944-8Conference Paper

Time in message sequence charts : A formal approachKOSIUCZENKO, P.Lecture notes in computer science. 1997, pp 562-566, issn 0302-9743, isbn 3-540-63440-1Conference Paper

Static analysis of multiway synchronizationLadkin, P.B; Simons, B.B.1994, 14 p.Report

CCITT SDL: Overview of the language and its applicationsSARACCO, R; TILANUS, P. A. J.Computer networks and ISDN systems. 1987, Vol 13, Num 2, pp 65-74, issn 0169-7552Article

Implementation results in classical constructive negationMUNOZ-HERNANDEZ, Susana; MORENO-NAVARRO, Juan Josh.Lecture notes in computer science. 2004, pp 284-298, issn 0302-9743, isbn 3-540-22671-0, 15 p.Conference Paper

The SLAM toolkitBALL, Thomas; RAJAMANI, Sriram K.Lecture notes in computer science. 2001, pp 260-264, issn 0302-9743, isbn 3-540-42345-1Conference Paper

Experiences in designing and using formal specification languages for embedded control softwareLEVESON, N. G.Lecture notes in computer science. 2000, issn 0302-9743, isbn 3-540-67259-1, p. 3Conference Paper

Enhancing the pre- and postcondition technique for more expressive specificationsLEAVENS, G. T; BAKER, A. L.Lecture notes in computer science. 1999, pp 1087-1106, issn 0302-9743, isbn 3-540-66587-0, 2VolConference Paper